test:
	./txl.sh ultimate.question
	(echo "go"; echo "") | ./txldb.sh ultimate.question
	./txlp.sh ultimate.question
	./txl.sh -c ultimate.question
	./txl.sh -l ultimate.question
	./txlc.sh question.txl
	./question.x ultimate.question

clean:
	/bin/rm -f *.x *.ctxl *.c *.[rp]profout
